Separation of Variables in Deformed Cylinders
نویسندگان
چکیده
منابع مشابه
Separation of Variables in Perturbed Cylinders
We study the Laplace operator subject to Dirichlet boundary conditions in a two-dimensional domain that is one-toone mapped onto a cylinder (rectangle or infinite strip). As a result of this transformation the original eigenvalue problem is reduced to an equivalent problem for an operator with variable coefficients. Taking advantage of the simple geometry we separate variables by means of the F...
متن کاملSeparation of Variables . New Trends
The review is based on the author’s papers since 1985 in which a new approach to the separation of variables (SoV) has being developed. It is argued that SoV, understood generally enough, could be the most universal tool to solve integrable models of the classical and quantum mechanics. It is shown that the standard construction of the action-angle variables from the poles of the Baker-Akhiezer...
متن کاملNumerical Simulation of Separation Bubble on Elliptic Cylinders Using Three-equation k-? Turbulence Model
Occurrence of laminar separation bubbles on solid walls of an elliptic cylinder has been simulated using a recently developed transitional model for boundary layer flows. Computational method is based on the solution of the Reynolds averaged Navier-Stokes (RANS) equations and the eddy-viscosity concept. Transitional model tries to simulate streamwise fluctuations, induced by freestream turbulen...
متن کاملSemipositivity in Separation Logic with Two Variables
In a recent work by Demri and Deters (CSL-LICS 2014), first-order separation logic restricted to two variables and separating implication was shown undecidable, where it was shown that even with only two variables, if the use of negations is unrestricted, then they can be nested with separating implication in a complex way to get the undecidability result. In this paper, we revisit the decidabi...
متن کاملVariables as Resource in Separation Logic
Separation logic [20,21,14] began life as an extended formalisation of Burstall’s treatment of list-mutating programs [8]. It rapidly became clear that there was more that it could say: O’Hearn’s discovery [13] of ownership transfer of buffers between threads and Boyland’s suggestion [5] of permissions to deal with variable and heap sharing pointed the way to a treatment of safe resource manage...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational Physics
سال: 2001
ISSN: 0021-9991
DOI: 10.1006/jcph.2001.6913